Section: Software

Reliable Programming

The Prometeus project, part of the Inria Gforge, is a software environment for reliable programming. The basic elements of Prometeus are Eva, a component-based framework and Adam, a set of group communication services. Eva is an implementation of a component model that aims at supporting the development of distributed abstractions and high-level communication protocols. Adam is a library of agreement components, based on the component model implemented by Eva. The central element of the Adam library is GAC (Generic Agreement Component). It implements a generic and adaptive fault-tolerant consensus algorithm that can be customized to cope with the characteristics of the environment. Moreover, thanks to a set of versatile methods, its behavior can be tuned to fit the exact needs of a specific agreement problem. A range of fundamental Adam components are implemented as specializations of this GAC component. The Adam library currently includes the most important components for reliable distributed programming (Group Membership, Atomic Broadcast).